Adapting Immunization Programs to Special Groups

Adapting functional programs to higher order logic

Higher-order logic proof systems combine functional programming with logic, providing functional programmers with a comfortable setting for the formalization of programs, specifications, and proofs. However, a possibly unfamiliar aspect of working in such an environment is that formally establishing program termination is necessary. In many cases, termination can be automatically proved, but th...

Adapting Information Delivery to Groups of People

When people engage with information, they are often in social groups. This applies, for example, in the case of museum visits, where people typically attend the museum and view the exhibits in small groups. This paper describes a proposed system GM, Group Modeller, which will create group models from a set of individual user models. We discuss the approaches and challenges in terms of common su...

Special programs.

Interphase is a seven-week program designed to enhance the academic success of students entering MIT. The program has a dual focus: it gives students an introduction to the MIT experience by exposing them to the rigors of a full subject load while simultaneously preparing them for academic success beyond MIT. The program includes calculus; chemistry; physical education; physics; writing, oral p...

A Tiger Jump: From Special Issues to Special Interest Groups?

Learning Groups in Training Programs for Nurse Managers: A Method to Enhance Nursing and Leadership Capabilities

Introduction: Employing management skills directs staff performance. This study was done to determine the effects of management development programs by learning groups’ technique, on the leadership styles of nurse managers as well as staff nurse empowerment. Methods: A pre-experimental study was performed as one-group with pre and post-test in a teaching hospital in Tehran during the year 200...